Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
751	Horn Clause Belief Change: Contraction Functions James P. Delgrande School of Computing Science, Simon Fraser University, Burnaby, B.C., Canada V5A 1S6. Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:38:16 Formal languages Functions and mappings Interpretation Philosophy of mind Semantics Symbol Entailment Function Contraction Logic Mathematics Model theory
752	A Bibliography of Ada User and Ada User Journal Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT Add to Reading List Source URL: ftp.math.utah.edu Language: English - Date: 2015-02-13 08:27:22 Library science Universal identifiers Ada programming language Ada CODEN SPARK DDC-I International Standard Serial Number GNAT Computing Software engineering Computer programming
753	On the Relation between Reiter’s Default Logic and its (major) Variants James P. Delgrande1 and Torsten Schaub2 1 School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 , Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:40:17 Model theory Default logic Knowledge representation Logic programming Non-classical logic Symbol Interpretation First-order logic Function Mathematical logic Logic Mathematics
754	Q-Midi: A MidiShare Interface for the Q Programming Language Albert Gr¨af March 23, 2003 Abstract Add to Reading List Source URL: q-lang.sourceforge.net Language: English - Date: 2004-09-14 04:30:18 Recursion Functions and mappings Functional languages Curry Literate programming Function Fold Differential equation Free variables and bound variables Computing Software engineering Mathematics
755	Computational Complexity in Membrane Systems Mario J. P´erez–Jim´enez Research Group on Natural Computing Dpt. of Computer Science and Artificial Intelligence University of Seville, Spain Add to Reading List Source URL: www.math.utu.fi Language: English - Date: 2014-10-07 08:49:23 Computability theory Theory of computation Computational complexity theory Models of computation Complexity classes Decision problem Church–Turing thesis Computability P Theoretical computer science Applied mathematics Computer science
756	NLTS2 Waves 1-5 Data Documentation and Dictionary Add to Reading List Source URL: www.nlts2.org Language: English - Date: 2014-09-04 15:12:58 Mathematics Computing Data collection Computer-assisted telephone interviewing Variable
757	A Comprehensive Overview of the Applications of Artificial Life Abstract We review the applications of artificial life (ALife), the creation of synthetic life on computers to study, simulate, and understand living system Add to Reading List Source URL: outobox.cs.umn.edu Language: English - Date: 2007-02-22 21:10:57 Applied mathematics Theoretical computer science Artificial life Artificial intelligence Computational neuroscience Evolutionary robotics Bio-inspired computing Evolutionary computation Robot Robotics Scientific modeling Science
758	FOR IMMEDIATE RELEASE Contacts: Karthika Muthukumaraswamyx 383 Add to Reading List Source URL: awards.acm.org Language: English - Date: 2014-09-29 16:34:36 Mathematics Science Society for Industrial and Applied Mathematics Association for Computing Machinery Applied mathematics Computer science Academia Numerical linear algebra Portable Extensible Toolkit for Scientific Computation Bill Gropp
759	Belief Change in the Context of Fallible Actions and Observations Aaron Hunter and James P. Delgrande School of Computing Science Faculty of Applied Sciences Simon Fraser University Burnaby, BC, Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2006-11-29 19:55:52 Philosophy of science Critical thinking Belief revision Knowledge representation Logic Logic programming Plausibility structure Theory of justification Causality Epistemology Philosophy Mathematics
760	ATRI RUDRA Curriculum Vitae Department of Computer Science and Engineering 338 Davis Hall University at Buffalo, SUNY Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2014-08-15 19:53:13 Applied mathematics Mathematics Computational complexity theory List decoding ACM SIGACT Venkatesan Guruswami Association for Computing Machinery Concatenated error correction code Coding theory Error detection and correction Theoretical computer science

UPDATE